Reveliotis, Spyros: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An MPC Scheme for Traffic Coordination in Open and Irreversible, Zone-Controlled, Guidepath-Based Transport Systems

Reveliotis, Spyros

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2020

File:

PDF, 1.14 MB

2020

2

Logical Control of Complex Resource Allocation Systems

Reveliotis, Spyros

Journal:

Foundations and Trends® in Systems and Control

Year:

2017

Language:

english

File:

PDF, 2.23 MB

english, 2017

3

Conflict resolution in AGV systems

Spyros A. Reveliotis

Journal:

IIE Transactions

Year:

2000

Language:

english

File:

PDF, 192 KB

english, 2000

4

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case

Nazeem, Ahmed, Reveliotis, Spyros

Journal:

IEEE Transactions on Automatic Control

Year:

2012

Language:

english

File:

PDF, 590 KB

english, 2012

5

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

Liao, Hongwei, Lafortune, Stephane, Reveliotis, Spyros, Wang, Yin, Mahlke, Scott

Journal:

IEEE Transactions on Automatic Control

Year:

2013

Language:

english

File:

PDF, 1.29 MB

english, 2013

6

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case

Nazeem, Ahmed, Reveliotis, Spyros, Wang, Yin, Lafortune, Stéphane

Journal:

IEEE Transactions on Automatic Control

Year:

2011

Language:

english

File:

PDF, 802 KB

english, 2011

7

Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory

Li, Ran, Reveliotis, Spyros

Journal:

Discrete Event Dynamic Systems

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

8

A distributed protocol for motion coordination in free-range vehicular systems

Roszkowska, Elzbieta, Reveliotis, Spyros

Journal:

Year:

2013

Language:

english

File:

PDF, 1.06 MB

english, 2013

9

On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems

Reveliotis, Spyros

Journal:

IEEE Transactions on Automatic Control

Year:

2014

Language:

english

File:

PDF, 120 KB

english, 2014

10

A distributed, event-driven control architecture for flexibly automated manufacturing systems

Park, Jonghun, Reveliotis, Spyros A., Bodner, Douglas A., Mcginnis, Leon F.

Journal:

International Journal of Computer Integrated Manufacturing

Year:

2002

Language:

english

File:

PDF, 406 KB

english, 2002

11

On the “Counter-Example” in the Article “Max $^{\prime}$-Controlled Siphons for Liveness of $S^{3}PGR^{2}$” Regarding the Results in “Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings”

Reveliotis, Spyros

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 183 KB

english, 2016

12

[IEEE 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Zaragoza, Spain (2019.9.10-2019.9.13)] 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling (Extended Abstract)

Ibrahim, Michael, Reveliotis, Spyros

Year:

2019

Language:

english

File:

PDF, 180 KB

english, 2019

13

On the Complexity of Some State-Counting Problems for Bounded Petri Nets

Reveliotis, Spyros

Journal:

IEEE Transactions on Automatic Control

Year:

2015

Language:

english

File:

PDF, 144 KB

english, 2015

14

Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms

Cordone, Roberto, Nazeem, Ahmed, Piroddi, Luigi, Reveliotis, Spyros

Journal:

IEEE Transactions on Automatic Control

Year:

2013

Language:

english

File:

PDF, 3.14 MB

english, 2013

15

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Optimal node visitation in acyclic stochastic digraphs with multi-threaded traversals and internal visitation requirements

Bountourelis, Theologos, Reveliotis, Spyros

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

16

Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project

Wang, Yin, Cho, Hyoun Kyu, Liao, Hongwei, Nazeem, Ahmed, Kelly, Terence P., Lafortune, Stéphane, Mahlke, Scott, Reveliotis, Spyros A.

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 190 KB

english, 2010

17

A Distributed Protocol for Motion Coordination in Free-Range Vehicular Systems

Roszkowska, Elzbieta, Reveliotis, Spyros A.

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 317 KB

english, 2011

18

Maximal linear deadlock avoidance policies for sequential resource allocation systems: characterization, computation and approximation

Ibrahim, Michael, Reveliotis, Spyros, Nazeem, Ahmed

Journal:

IEEE Transactions on Automatic Control

Year:

2020

File:

PDF, 1.24 MB

2020

19

High-fidelity rapid prototyping of 300 mm fabs through discrete event system modeling

Jonghun Park, Spyros A. Reveliotis, Douglas A. Bodner, Chen Zhou, Jennfong Wu, Leon F. McGinnis

Journal:

Computers in Industry

Year:

2001

Language:

english

File:

PDF, 350 KB

english, 2001

20

Optimal deadlock avoidance for complex resource allocation systems through classification theory

Nazeem, Ahmed, Reveliotis, Spyros A., Wang, Yin, Lafortune, Stéphane

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 167 KB

english, 2010

21

[IEEE European Control Conference 2007 (ECC) - Kos (2007.7.2-2007.7.5)] 2007 European Control Conference (ECC) - Efficient policies for the problem of optimal node visitation in acyclic stochastic digraphs

Bountourelis, Theologos, Reveliotis, Spyros

Year:

2007

Language:

english

File:

PDF, 241 KB

english, 2007

22

Logical Control of Complex Resource Allocation Systems

Reveliotis, Spyros

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 378 KB

english, 2018

23

[IEEE 2011 3rd International Workshop on Dependable Control of Discrete Systems (DCDS) - Saarbrucken, Germany (2011.06.15-2011.06.17)] 2011 3rd International Workshop on Dependable Control of Discrete Systems - Optimized scheduling of complex resource allocation systems through approximate dynamic programming

Reveliotis, Spyros

Year:

2011

Language:

english

File:

PDF, 1.40 MB

english, 2011

24

[IEEE 2012 IEEE International Conference on Automation Science and Engineering (CASE 2012) - Seoul, Korea (South) (2012.08.20-2012.08.24)] 2012 IEEE International Conference on Automation Science and Engineering (CASE) - An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems

Nazeem, Ahmed, Reveliotis, Spyros A.

Year:

2012

Language:

english

File:

PDF, 606 KB

english, 2012

25

On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems

Reveliotis, Spyros A, Roszkowska, Elzbieta

Journal:

IEEE Transactions on Automatic Control

Year:

2010

Language:

english

File:

PDF, 319 KB

english, 2010

26

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software

Fei, Zhennan, Akesson, Knut, Reveliotis, Spyros

Year:

2014

Language:

english

File:

PDF, 311 KB

english, 2014

27

Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling

Ibrahim, Michael, Reveliotis, Spyros

Journal:

Discrete Event Dynamic Systems

Year:

2019

File:

PDF, 784 KB

2019

28

[IEEE Proceedings. Eighth International Workshop on Discrete Event Systems - Ann Arbor, MI, USA (2006.07.10-2006.07.12)] 2006 8th International Workshop on Discrete Event Systems - Optimal node visitation in acyclic stochastic digraphs

Bountourelis, Theologos, Reveliotis, Spyros

Year:

2006

Language:

english

File:

PDF, 232 KB

english, 2006

29

[IEEE 2012 IEEE 51st Annual Conference on Decision and Control (CDC) - Maui, HI, USA (2012.12.10-2012.12.13)] 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) - On atomicity enforcement in concurrent software via Discrete Event Systems theory

Wang, Yin, Liu, Peng, Kelly, Terence, Lafortune, Stephane, Reveliotis, Spyros, Zhang, Charles

Year:

2012

Language:

english

File:

PDF, 343 KB

english, 2012

30

Flexible manufacturing system structural control and the Neighborhood Policy, part 1. Correctness and scalability

LAWLEY, MARK, REVELIOTIS, SPYROS, FERREIRA, PLACID

Journal:

IIE Transactions

Year:

1997

Language:

english

File:

PDF, 1.05 MB

english, 1997

31

Throughput Maximization of Capacitated Re-Entrant Lines Through Fluid Relaxation

Ibrahim, Michael, Reveliotis, Spyros

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2019

Language:

english

File:

PDF, 59 KB

english, 2019

32

Optimized Multiagent Routing for a Class of Guidepath-Based Transport Systems

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2018

Language:

english

File:

PDF, 3.10 MB

english, 2018

33

[IEEE 2010 IEEE International Conference on Robotics and Automation (ICRA 2010) - Anchorage, AK (2010.05.3-2010.05.7)] 2010 IEEE International Conference on Robotics and Automation - Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety

Roszkowska, Elzbieta, Reveliotis, Spyros

Year:

2010

Language:

english

File:

PDF, 319 KB

english, 2010

34

Real-Time Management of Complex Resource Allocation Systems: Necessity, Achievements and Further Challenges

Reveliotis, Spyros

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 502 KB

english, 2015

35

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Some novel traffic coordination problems and their analytical study based on Lagrangian Duality theory

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Year:

2016

Language:

english

File:

PDF, 284 KB

english, 2016

36

Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights

Reveliotis, Spyros, Nazeem, Ahmed

Journal:

SIAM Journal on Control and Optimization

Year:

2013

Language:

english

File:

PDF, 302 KB

english, 2013

37

Invariant-based Supervisory Control of Switched Discrete Event Systems

Reveliotis, Spyros, Fei, Zhennan

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 291 KB

english, 2016

38

Efficient generation of performance bounds for a class of traffic scheduling problems

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Journal:

Discrete Event Dynamic Systems

Year:

2019

Language:

english

File:

PDF, 1.26 MB

english, 2019

39

[IEEE 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) - Vancouver, BC, Canada (2019.8.22-2019.8.26)] 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) - An MPC scheme for traffic coordination in open and irreversible, zone-controlled, guidepath-based transport systems

Reveliotis, Spyros

Year:

2019

File:

PDF, 1.16 MB

2019

40

[IEEE 2010 IEEE International Conference on Automation Science and Engineering (CASE 2010) - Toronto, ON (2010.08.21-2010.08.24)] 2010 IEEE International Conference on Automation Science and Engineering - A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems

Nazeem, Ahmed, Reveliotis, Spyros

Year:

2010

Language:

english

File:

PDF, 549 KB

english, 2010

41

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software

Wang, Yin, Liao, Hongwei, Reveliotis, Spyros, Kelly, Terence, Mahlke, Scott, Lafortune, Stephane

Year:

2009

Language:

english

File:

PDF, 369 KB

english, 2009

42

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Solving the Lagrangian dual problem for some traffic coordination problems through linear programming

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Year:

2017

Language:

english

File:

PDF, 729 KB

english, 2017

43

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Performance optimization for a class of Generalized Stochastic Petri nets

Ran Li,, Reveliotis, Spyros

Year:

2013

Language:

english

File:

PDF, 455 KB

english, 2013

44

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems

Fei, Zhennan, Reveliotis, Spyros, Miremadi, Sajed, Akesson, Knut

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2015

Language:

english

File:

PDF, 2.44 MB

english, 2015

45

A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems

Fei, Zhennan, Reveliotis, Spyros, Åkesson, Knut

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 469 KB

english, 2014

46

A Correction and Some Comments on the Article "Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets"

Reveliotis, Spyros

Journal:

IEEE Transactions on Control Systems Technology

Year:

2017

Language:

english

File:

PDF, 302 KB

english, 2017

47

Flexible manufacturing system structural control and the Neighborhood Policy, part 2. Generalization, optimization, and efficiency

MARK LAWLEY, SPYROS REVELIOTIS, PLACID FERREIRA

Journal:

IIE Transactions

Year:

1997

Language:

english

File:

PDF, 655 KB

english, 1997

48

Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

Reveliotis, Spyros A., Roszkowska, Elzbieta, Choi, Jin Young

Journal:

IEEE Transactions on Automatic Control

Year:

2007

Language:

english

File:

PDF, 328 KB

english, 2007

49

[IEEE 2007 IEEE International Conference on Robotics and Automation - Rome, Italy (2007.04.10-2007.04.14)] Proceedings 2007 IEEE International Conference on Robotics and Automation - Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems

Reveliotis, Spyros, Roszkowska, Elzbieta, Choi, Jin Young

Year:

2007

Language:

english

File:

PDF, 221 KB

english, 2007

50

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory

Li, Ran, Reveliotis, Spyros

Year:

2015

Language:

english

File:

PDF, 426 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски